perm filename PAPER.XGP[SLP,TEX] blob sn#567398 filedate 1981-02-23 generic text, type T, neo UTF8
/NOWRAPAROUND/LMAR=50/TMAR=50/RMAR=1700/BMAR=1/PMAR=0/XLINE=0/FONT#0=NGR13/USETI=000000021*TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX*

␈β↓N␈↓ ∧F␈ε@Wha␈α↓t␈αthe␈αT␈α⎇ortoise␈α
S␈α↓aid␈αto␈αA␈α␈c␈α␈h␈α↓il␈ααles
␈β↓y␈↓ ¬N␈ε"by␈αLewis␈αCarroll
␈βαP␈↓ ↓H␈ε"Achilles␈αλhad␈α	o␈α␈v␈α␈ertak␈α␈en␈α	the␈α	T␈α⎇ortoise,␈α	and␈α	had␈α	seated␈αλhimself␈α	comfortably␈α	on␈α	its␈α	back.
␈βα|␈↓ α⊂␈ε"\So␈α
y␈α␈ou'v␈α␈e␈α
got␈α
to␈α
the␈α
end␈α
of␈α
our␈α
race-course?"␈α∂said␈α
the␈α
T␈α⎇ortoise.␈α∂\Ev␈α␈en␈αthough
␈ββ(␈↓ ↓H␈ε"it␈ε/␈αDOES␈ε"␈αconsist␈αof␈αan␈αin|nite␈αseries␈αof␈αdistances?␈α∂I␈αthough␈α␈t␈αsome␈αwiseacre␈αor␈αother
␈ββS␈↓ ↓H␈ε"had␈αpro␈α␈v␈α␈ed␈αthat␈αthe␈αthing␈αcouldn't␈αbe␈αdone?"
␈ββ␈␈↓ α⊂␈ε"\It␈ε/␈α
CAN␈ε"␈α
be␈α
done,"␈αsaid␈α
Achilles.␈α⊂\It␈ε/␈α
HAS␈ε"␈α
been␈α
done!␈ε@␈α⊂Sol␈α↓v␈α␈itu␈α↓r␈α	am␈α↓b␈α␈ul␈α↓and␈α↓o.␈ε"␈α⊂Y␈α⎇ou
␈β∧*␈↓ ↓H␈ε"see␈αthe␈αdistances␈αw␈α␈ere␈αconstan␈α␈tly␈ε/␈αDIMINISHING␈ε";␈αand␈αso←"
␈β∧V␈↓ α⊂␈ε"\But␈α∂if␈α⊂they␈α⊂had␈α∂been␈α⊂constan␈α␈tly␈ε/␈α⊂INCREASING␈ε"?"␈α∂the␈α⊂T␈α⎇ortoise␈α⊂in␈α␈terrupted.
␈β¬↓␈↓ ↓H␈ε"\Ho␈α␈w␈αthen?"
␈β¬-␈↓ α⊂␈ε"\Then␈αI␈α
shouldn't␈α
be␈α
here,"␈α
Achilles␈αmodestly␈α
replied;␈α
\and␈ε/␈α
YOU␈ε"␈α
w␈α␈ould␈α
ha␈α␈v␈α␈e
␈β¬Y␈↓ ↓H␈ε"got␈αsev␈α␈eral␈αtimes␈αround␈αthe␈αw␈α␈orld,␈αby␈αthis␈αtime!"
␈βε¬␈↓ α⊂␈ε"\Y␈α⎇ou␈αλ⎇atter␈α	me←␈ε/FLA␈α⎇TTEN␈ε",␈α	I␈α	mean,"␈α
said␈αλthe␈α	T␈α⎇ortoise;␈α
\for␈α	y␈α␈ou␈ε/␈α	ARE␈ε"␈α	a␈α	hea␈α␈vy
␈βε0␈↓ ↓H␈ε"w␈α␈eigh␈α␈t,␈α∞and␈ε/␈α
NO␈ε"␈α∞mistak␈α␈e!␈α∃W␈α⎇ell␈α
no␈α␈w,␈α∞w␈α␈ould␈α∞y␈α␈ou␈α
lik␈α␈e␈α∞to␈α∞hear␈α
of␈α∞a␈α
race-course,␈α∂that
␈βε[␈↓ ↓H␈ε"most␈α	people␈α	fancy␈α
they␈α	can␈α	get␈α
to␈α	the␈α	end␈α	of␈α
in␈α	t␈α␈w␈α␈o␈α	or␈α
three␈α	steps,␈α
while␈α	it␈ε/␈α
REALL␈α⎇Y
␈βπε␈↓ ↓H␈ε"consists␈αof␈αan␈αin|nite␈αn␈α␈um␈α␈ber␈αof␈α
distances,␈αeach␈αone␈αlonger␈αthan␈αthe␈αprevious␈αone?"
␈βπ3␈↓ α⊂␈ε"\V␈α⎇ery␈α	m␈α␈uch␈α
indeed!"␈α∂said␈α
the␈α
Grecian␈α	w␈α␈arrior,␈α
as␈α
he␈α
drew␈α	from␈α
his␈α
helmet␈α
(few
␈βπ↑␈↓ ↓H␈ε"Grecian␈α
w␈α␈arriors␈α
possessed␈ε/␈α
POCKETS␈ε"␈α
in␈α∞those␈α
da␈α␈ys)␈α
an␈α
enormous␈α
note-bo␈α↓ok␈α∞and
␈βλ	␈↓ ↓H␈ε"pencil.␈α⊂\Proceed!␈α∂And␈αspeak␈ε/␈αSL␈α␈O␈α␈WL␈α⎇Y␈ε",␈αplease!␈ε/␈α∂SHOR␈α⎇THAND␈ε"␈αisn't␈αin␈α␈v␈α␈en␈α␈ted␈αy␈α␈et!"
␈βλ5␈↓ α⊂␈ε"\That␈αλbeautiful␈α	First␈αλProposition␈α	by␈αλEuclid!"␈α∂the␈αλT␈α⎇ortoise␈α	m␈α␈urm␈α␈ured␈α	dreamily.
␈βλ`␈↓ ↓H␈ε"\Y␈α⎇ou␈αadmire␈αEuclid?"
␈β	␈↓ α⊂␈ε"\Passionately!␈α_So␈α∞far,␈α⊂at␈α∂least,␈α∂as␈α∂one␈ε/␈α∞CAN␈ε"␈α∂admire␈α∂a␈α∞treatise␈α∂that␈α∂w␈α␈on't␈α∂be
␈β	8␈↓ ↓H␈ε"published␈αfor␈αsome␈αcen␈α␈turies␈αto␈αcome!"
␈β	d␈↓ α⊂␈ε"\W␈α⎇ell,␈α
no␈α␈w,␈α∞let's␈α
tak␈α␈e␈α∞a␈α
little␈α
bit␈α∞of␈α
the␈α
argumen␈α␈t␈α∞in␈α
that␈α
First␈α∞Proposition←
␈β
∂␈↓ ↓H␈ε"just␈ε/␈αTW␈α␈O␈ε"␈αsteps,␈α
and␈αthe␈α
conclusion␈αdra␈α␈wn␈αfrom␈α
them.␈α⊃Kindly␈αen␈α␈ter␈α
them␈αin␈α
y␈α␈our
␈β
:␈↓ ↓H␈ε"note-bo␈α↓ok.␈α⊗And␈α∞in␈α∂order␈α∞to␈α∞refer␈α∞to␈α∂them␈α∞con␈α␈v␈α␈enien␈α␈tly,␈α∞let's␈α∂call␈α∞them␈α∞A,␈α∞B,␈α∂and
␈β
e␈↓ ↓H␈ε"Z:←
␈β⊃␈↓ α⊂␈ε"(A)␈αThings␈αthat␈αare␈αequal␈αto␈αthe␈αsame␈αare␈αequal␈αto␈αeach␈αother.
␈β>␈↓ α⊂␈ε"(B)␈αThe␈αt␈α␈w␈α␈o␈αsides␈αof␈αthis␈αT␈α⎇riangle␈αare␈αthins␈αthat␈αare␈αequal␈αto␈αthe␈αsame.
␈βj␈↓ α⊂␈ε"(Z)␈αThe␈αt␈α␈w␈α␈o␈αsides␈αof␈αthis␈αT␈α⎇riangle␈αare␈αequal␈αto␈αeach␈αother.
␈β⊗␈↓ α⊂␈ε"Readers␈αof␈αEuclid␈αwill␈αgran␈α␈t,␈αI␈αsuppose,␈αthat␈αZ␈αfollo␈α␈ws␈αlogically␈αfrom␈αA␈αand␈αB,
␈βA␈↓ ↓H␈ε"so␈αthat␈αan␈α␈y␈αone␈αwho␈αaccepts␈αA␈αand␈αB␈αas␈αtrue,␈ε/␈αMUST␈ε"␈αaccept␈αZ␈αas␈αtrue?"
␈βm␈↓ α⊂␈ε"\Undoubtedly!␈α⊂The␈αy␈α␈oungest␈αchild␈αin␈αa␈αHigh␈αScho␈α↓ol←as␈αso␈α↓on␈αas␈αHigh␈αScho␈α↓ols
␈β
_␈↓ ↓H␈ε"are␈α∩in␈α␈v␈α␈en␈α␈ted,␈α∀which␈α∪will␈α∪not␈α∩be␈α∪till␈α∩some␈α∪t␈α␈w␈α␈o␈α∪thousand␈α∩y␈α␈ears␈α∪later←will␈α∪gran␈α␈t
␈β
D␈↓ ↓H␈ε/THA␈α⎇T␈ε"."
␈β
p␈↓ α⊂␈ε"\And␈α∞if␈α∂some␈α∂reader␈α∂had␈ε/␈α∂NOT␈ε"␈α∂y␈α␈et␈α∞accepted␈α∂A␈α∂and␈α∂B␈α∂as␈α∞true,␈α⊂he␈α∂migh␈α␈t␈α∂still
␈β∞≠␈↓ ↓H␈ε"accept␈αthe␈ε/␈αSEQUENCE␈ε"␈αas␈αa␈ε/␈αV␈α{ALID␈ε"␈αone,␈αI␈αsuppose?"
␈β∞G␈↓ α⊂␈ε"\No␈α⊂doubt␈α⊃such␈α⊃a␈α⊃reader␈α⊃migh␈α␈t␈α⊂exist.␈α∨He␈α⊃migh␈α␈t␈α⊂sa␈α␈y,␈α∩`I␈α⊃accept␈α⊃as␈α⊃true␈α⊃the
␈β∞r␈↓ ↓H␈ε"Hypothetical␈α
Proposition␈α
that,␈ε/␈α
IF␈ε"␈α
A␈α
and␈α
B␈α
be␈α
true,␈α
Z␈α
m␈α␈ust␈α
be␈α
true;␈α∞but␈α
I␈ε/␈α
DON'T
␈β∂≥␈↓ ↓H␈ε"accept␈αA␈αand␈αB␈αas␈αtrue.'␈α⊂Such␈αa␈αreader␈αw␈α␈ould␈αdo␈αwisely␈αin␈αabandoning␈αEuclid,␈αand
␈β∂↑␈↓ εI␈ε"1
␈β⊃C

␈β↓N␈↓ ↓H␈ε"taking␈αto␈αfo␈α↓otball."
␈β↓{␈↓ α⊂␈ε"\And␈αmigh␈α␈t␈αthere␈αnot␈ε/␈αALSO␈ε"␈αbe␈αsome␈αreader␈αwho␈αw␈α␈ould␈αsa␈α␈y␈α`I␈αaccept␈αA␈αand␈αB
␈βα&␈↓ ↓H␈ε"as␈αtrue,␈αbut␈αI␈ε/␈αDON'T␈ε"␈αaccept␈αthe␈αHypothetical'?"
␈βαT␈↓ α⊂␈ε"\Certainly␈αthere␈αmigh␈α␈t.␈ε/␈α⊂HE␈ε",␈αalso,␈αhad␈αbetter␈αtak␈α␈e␈αto␈αfo␈α↓otball."
␈ββα␈↓ α⊂␈ε"\And␈ε/␈α	NEITHER␈ε"␈αλof␈α	these␈α	readers,"␈α
the␈α	T␈α⎇ortoise␈αλcon␈α␈tin␈α␈ued,␈α
\is␈α	under␈α	an␈α␈y␈α	logical
␈ββ-␈↓ ↓H␈ε"necessit␈α␈y␈αto␈αaccept␈αZ␈αas␈αtrue?"
␈ββZ␈↓ α⊂␈ε"\Quite␈αso,"␈αAchilles␈αassen␈α␈ted.
␈β∧λ␈↓ α⊂␈ε"\W␈α⎇ell,␈αno␈α␈w,␈αI␈αw␈α␈an␈α␈t␈αy␈α␈ou␈αto␈αconsider␈ε/␈αME␈ε"␈αas␈αa␈αreader␈αof␈αthe␈ε/␈αSECOND␈ε"␈αkind,␈αand
␈β∧3␈↓ ↓H␈ε"to␈αforce␈αme,␈αlogically,␈αto␈αaccept␈αZ␈αas␈αtrue."
␈β∧a␈↓ α⊂␈ε"\A␈αtortoise␈αpla␈α␈ying␈αfo␈α↓otball␈αw␈α␈ould␈αbe←"␈αAchilles␈αw␈α␈as␈αbeginning.
␈β¬∞␈↓ α⊂␈ε"\←an␈α∂anomaly,␈α⊂of␈α∂course,"␈α⊂the␈α∂T␈α⎇ortoise␈α∂hastily␈α⊂in␈α␈terrupted.␈α→\Don't␈α⊂w␈α␈ander
␈β¬9␈↓ ↓H␈ε"from␈αthe␈αpoin␈α␈t.␈α⊂Let's␈αha␈α␈v␈α␈e␈αZ␈α|rst,␈αand␈αfo␈α↓otball␈αa$erw␈α␈ards!"
␈β¬g␈↓ α⊂␈ε"\I'm␈α	to␈α	force␈α
y␈α␈ou␈α	to␈α	accept␈α
Z,␈α	am␈α
I?"␈α	Achilles␈α	said␈α
m␈α␈usingly.␈α∂\And␈α	y␈α␈our␈α
presen␈α␈t
␈βε∩␈↓ ↓H␈ε"position␈αis␈αthat␈αy␈α␈ou␈αaccept␈αA␈αand␈αB,␈αbut␈αy␈α␈ou␈ε/␈αDON'T␈ε"␈αaccept␈αthe␈αHypothetical←"
␈βε@␈↓ α⊂␈ε"\Let's␈αcall␈αit␈αC,"␈αsaid␈αthe␈αT␈α⎇ortoise.
␈βεm␈↓ α⊂␈ε"\←but␈αy␈α␈ou␈ε/␈αDON'T␈ε"␈αaccept
␈βπ≠␈↓ α⊂␈ε"(C)␈αIf␈αA␈αand␈αB␈αare␈αtrue,␈αZ␈αm␈α␈ust␈αbe␈αtrue.
␈βπH␈↓ α⊂␈ε"\That␈αis␈αm␈α␈y␈αpresen␈α␈t␈αposition,"␈αsaid␈αthe␈αT␈α⎇ortoise.
␈βπv␈↓ α⊂␈ε"\Then␈αI␈αm␈α␈ust␈αask␈αy␈α␈ou␈αto␈αaccept␈αC."
␈βλ#␈↓ α⊂␈ε"\I'll␈α
do␈α
so,"␈α∞said␈α
the␈α∞T␈α⎇ortoise,␈α∞\as␈α
so␈α↓on␈α
as␈α∞y␈α␈ou'v␈α␈e␈α
en␈α␈tered␈α
it␈α∞in␈α
that␈α∞notebo␈α↓ok
␈βλO␈↓ ↓H␈ε"of␈αy␈α␈ours.␈α⊂What␈αelse␈αha␈α␈v␈α␈e␈αy␈α␈ou␈αgot␈αin␈αit?"
␈βλ|␈↓ α⊂␈ε"\Only␈α
a␈αfew␈αmemoranda,"␈αsaid␈α
Achilles,␈αnerv␈α␈ously␈α⎇uttering␈αthe␈α
lea␈α␈v␈α␈es:␈α\a␈αfew
␈β	'␈↓ ↓H␈ε"memoranda␈αof←of␈αthe␈αbattles␈αin␈αwhich␈αI␈αha␈α␈v␈α␈e␈αdistinguished␈αm␈α␈yself!"
␈β	U␈↓ α⊂␈ε"\Plen␈α␈t␈α␈y␈α
of␈αblank␈αlea␈α␈v␈α␈es,␈αI␈α
see!"␈α⊂the␈α
T␈α⎇ortoise␈αcheerily␈αremark␈α␈ed.␈α∂\W␈α⎇e␈αshall␈αneed
␈β
␈↓ ↓H␈ε"them␈ε/␈αALL␈ε"!"␈α(Achilles␈αsh␈α␈uddered.)␈α⊂\No␈α␈w␈αwrite␈αas␈αI␈αdictate:←
␈β
.␈↓ α⊂␈ε"(A)␈αThings␈αthat␈αare␈αequal␈αto␈αthe␈αsame␈αare␈αequal␈αto␈αeach␈αother.
␈β
[␈↓ α⊂␈ε"(B)␈αThe␈αt␈α␈w␈α␈o␈αsides␈αof␈αthis␈αT␈α⎇riangle␈αare␈αthings␈αthat␈αare␈αequal␈αto␈αthe␈αsame.
␈β	␈↓ α⊂␈ε"(C)␈αIf␈αA␈αand␈αB␈αare␈αtrue,␈αZ␈αm␈α␈ust␈αbe␈αtrue.
␈β6␈↓ α⊂␈ε"(Z)␈αThe␈αt␈α␈w␈α␈o␈αsides␈αof␈αthis␈αT␈α⎇riangle␈αare␈αequal␈αto␈αeach␈αother.
␈βd␈↓ α⊂␈ε"\Y␈α⎇ou␈α∂should␈α⊂call␈α⊂it␈α∂D,␈α⊂not␈α⊂Z,"␈α∂said␈α⊂Achilles.␈α≠\It␈α⊂comes␈ε/␈α∂NEXT␈ε"␈α⊂to␈α⊂the␈α⊂other
␈β∂␈↓ ↓H␈ε"three.␈α⊂If␈αy␈α␈ou␈αaccept␈αA␈αand␈αB␈αand␈αC,␈αy␈α␈ou␈ε/␈αMUST␈ε"␈αaccept␈αZ."
␈β=␈↓ α⊂␈ε"\And␈αwh␈α␈y␈αm␈α␈ust␈αI?"
␈βj␈↓ α⊂␈ε"\Because␈α∞it␈α∂follo␈α␈ws␈ε/␈α∂L␈α␈OGICALL␈α⎇Y␈ε"␈α∂from␈α∞them.␈α→If␈α∞A␈α∂and␈α∂B␈α∂and␈α∂C␈α∞are␈α∂true,␈α⊂Z
␈β
⊗␈↓ ↓H␈ε/MUST␈ε"␈αbe␈αtrue.␈α⊂Y␈α⎇ou␈αcan't␈αdispute␈ε/␈αTHA␈α⎇T␈ε",␈αI␈αimagine?"
␈β
C␈↓ α⊂␈ε"\If␈α⊃A␈α∩and␈α⊃B␈α⊃and␈α∩C␈α⊃are␈α∩true,␈α∪Z␈ε/␈α⊃MUST␈ε"␈α⊃be␈α∩true,"␈α∪the␈α⊃T␈α⎇ortoise␈α∩though␈α␈tfully
␈β
n␈↓ ↓H␈ε"repeated.␈α~\That's␈ε/␈α∂ANOTHER␈ε"␈α∂Hypothetical,␈α⊂isn't␈α⊂it?␈α~And,␈α⊂if␈α∂I␈α⊂failed␈α∂to␈α∂seet␈α⊂its
␈β∞→␈↓ ↓H␈ε"truth,␈αI␈αmigh␈α␈t␈αaccept␈αA␈αand␈αB␈αand␈αC,␈αand␈ε/␈αSTILL␈ε"␈αnot␈αaccept␈αZ,␈αmigh␈α␈tn't␈αI?"
␈β∞G␈↓ α⊂␈ε"\Y␈α⎇ou␈α∞migh␈α␈t,"␈α∞the␈α∞candid␈α∞hero␈α∞admitted;␈α∂\though␈α∞such␈α∞obtuseness␈α∞w␈α␈ould␈α∞cer-
␈β∞r␈↓ ↓H␈ε"tainly␈α∞be␈α∞phenomenal.␈α↔Still,␈α∞the␈α∂ev␈α␈en␈α␈t␈α∞is␈ε/␈α∞POSSIBLE␈ε".␈α∞So␈α∞I␈α∂m␈α␈ust␈α∞ask␈α∞y␈α␈ou␈α∞to␈α∂gran␈α␈t
␈β∂≥␈↓ ↓H␈ε/ONE␈ε"␈αmore␈αHypothetical."
␈β∂↑␈↓ εI␈ε"2
␈β⊃C

␈β↓N␈↓ α⊂␈ε"\V␈α⎇ery␈α∞go␈α↓od,␈α∂I'm␈α∂quite␈α∞willing␈α∂to␈α∞gran␈α␈t␈α∂it,␈α∂as␈α∞so␈α↓on␈α∂as␈α∞y␈α␈ou'v␈α␈e␈α∂written␈α∞it␈α∂do␈α␈wn.
␈β↓y␈↓ ↓H␈ε"W␈α⎇e␈αwill␈αcall␈αit
␈βα$␈↓ α⊂␈ε"(D)␈αIf␈αA␈αand␈αB␈αand␈αC␈αare␈αtrue,␈αZ␈αm␈α␈ust␈αbe␈αtrue.
␈βαO␈↓ ↓H␈ε"Ha␈α␈v␈α␈e␈αy␈α␈ou␈αen␈α␈tered␈αthat␈αin␈αy␈α␈our␈αnote-bo␈α↓ok?"
␈βαz␈↓ α⊂␈ε"\I␈ε/␈α⊂HA␈α{VE␈ε"!"␈α⊂Achilles␈α⊂jo␈α␈yfully␈α⊂exclaimed,␈α⊃as␈α⊂he␈α⊂ran␈α⊂the␈α⊂pencil␈α⊂in␈α␈to␈α⊂its␈α⊂sheath.
␈ββ&␈↓ ↓H␈ε"\And␈αat␈αlast␈αw␈α␈e'v␈α␈e␈αgot␈αto␈αthe␈αend␈αof␈αthis␈αideal␈αrace-course!␈α⊂No␈α␈w␈αthat␈αy␈α␈ou␈αaccept␈αA
␈ββQ␈↓ ↓H␈ε"and␈αB␈αand␈αC␈αand␈αD,␈ε/␈αOF␈αCOURSE␈ε"␈αy␈α␈ou␈αaccept␈αZ."
␈ββ|␈↓ α⊂␈ε"\Do␈αI?"␈αsaid␈αthe␈αT␈α⎇ortoise␈αinnocen␈α␈tly.␈α⊃\Let's␈αmak␈α␈e␈αthat␈αquite␈αclear.␈α⊂I␈αaccept␈α
A
␈β∧'␈↓ ↓H␈ε"and␈αB␈αand␈αC␈αand␈αD.␈αSuppose␈αI␈ε/␈αSTILL␈ε"␈αrefused␈αto␈αaccept␈αZ?"
␈β∧R␈↓ α⊂␈ε"\Then␈α
Logic␈αw␈α␈ould␈α
tak␈α␈e␈αy␈α␈ou␈α
by␈αthe␈αthroat␈α
and␈ε/␈αF␈α␈OR␈α␈CE␈ε"␈α
y␈α␈ou␈αto␈α
do␈αit!"␈α⊂Achilles
␈β∧}␈↓ ↓H␈ε"triumphan␈α␈tly␈α∞replied.␈α_\Logic␈α∞w␈α␈ould␈α∂tell␈α∞y␈α␈ou,␈α⊂`Y␈α⎇ou␈α∞can't␈α∂help␈α∞y␈α␈ourself.␈α_No␈α␈w␈α∂that
␈β¬)␈↓ ↓H␈ε"y␈α␈ou'v␈α␈e␈αaccepted␈αA␈αand␈αB␈αand␈αC␈αand␈α
D,␈αy␈α␈ou␈ε/␈αMUST␈ε"␈αaccept␈αZ!'␈αSo␈αy␈α␈ou'v␈α␈e␈αno␈α
choice,
␈β¬T␈↓ ↓H␈ε"y␈α␈ou␈αsee."
␈β¬␈␈↓ α⊂␈ε"\Whatev␈α␈er␈ε/␈α∂L␈α␈OGIC␈ε"␈α⊂is␈α⊂go␈α↓od␈α∂enough␈α⊂to␈α∂tell␈α⊂me␈α⊂is␈α∂w␈α␈orth␈ε/␈α⊂WRITING␈α⊂DO␈α␈WN␈ε","
␈βε*␈↓ ↓H␈ε"said␈αthe␈αT␈α⎇ortoise.␈α⊂\So␈αen␈α␈ter␈αit␈αin␈αy␈α␈our␈αbo␈α↓ok,␈αplease.␈α⊂W␈α⎇e␈αwill␈αcall␈αit
␈βεV␈↓ α⊂␈ε"(E)␈αIf␈αA␈αand␈αB␈αand␈αC␈αand␈αD␈αare␈αtrue,␈αZ␈αm␈α␈ust␈αbe␈αtrue.
␈βπ↓␈↓ ↓H␈ε"Un␈α␈til␈αI'v␈α␈e␈αgran␈α␈ted␈ε/␈αTHA␈α⎇T␈ε",␈αof␈αcourse␈αI␈αneedn't␈αgran␈α␈t␈αZ.␈αSo␈αit's␈αquite␈αa␈ε/␈αNECESSAR␈α⎇Y
␈βπ,␈↓ ↓H␈ε"step,␈αy␈α␈ou␈αsee?"
␈βπW␈↓ α⊂␈ε"\I␈αsee,"␈αsaid␈αAchilles;␈αand␈αthere␈αw␈α␈as␈αa␈αtouch␈αof␈αsadness␈αin␈αhis␈αtone.
␈βλα␈↓ α⊂␈ε"Here␈α
the␈α
narrator,␈α
ha␈α␈ving␈α
pressing␈α
business␈α
at␈α
the␈αBank,␈α∞w␈α␈as␈α
obliged␈α
to␈α
lea␈α␈v␈α␈e
␈βλ.␈↓ ↓H␈ε"the␈α⊂happy␈α⊂pair,␈α∩and␈α⊂did␈α⊃not␈α⊂again␈α⊂pass␈α⊃the␈α⊂spot␈α⊂un␈α␈til␈α⊃some␈α⊂mon␈α␈ths␈α⊃a$erw␈α␈ards.
␈βλY␈↓ ↓H␈ε"When␈α	he␈α	did␈α
so,␈α	Achilles␈α
w␈α␈as␈α	still␈α	seated␈α
on␈α	the␈α	back␈α
of␈α	the␈α	m␈α␈uch-enduring␈α
T␈α⎇ortoise,
␈β	∧␈↓ ↓H␈ε"and␈α∞w␈α␈as␈α∞writing␈α∞in␈α∂his␈α∞notebo␈α↓ok,␈α∂which␈α∞appeared␈α∞to␈α∞be␈α∞nearly␈α∂full.␈α⊗The␈α∂T␈α⎇ortoise
␈β	/␈↓ ↓H␈ε"w␈α␈as␈αsa␈α␈ying,␈α\Ha␈α␈v␈α␈e␈αy␈α␈ou␈αgot␈αthat␈αlast␈αstep␈αwritten␈αdo␈α␈wn?␈α∂Unless␈αI'v␈α␈e␈αlost␈αcoun␈α␈t,␈αthat
␈β	Z␈↓ ↓H␈ε"mak␈α␈es␈α
a␈αthousand␈α
and␈α
one.␈α⊂There␈α
are␈αsev␈α␈eral␈α
millions␈αmore␈α
to␈αcome.␈α∂And␈ε/␈αW␈α␈OULD
␈β
ε␈↓ ↓H␈ε"y␈α␈ou␈αmind,␈α
as␈α
a␈αpersonal␈α
fa␈α␈v␈α␈our,␈αconsidering␈α
what␈α
a␈αlot␈α
of␈αinstruction␈α
this␈α
colloquy
␈β
1␈↓ ↓H␈ε"of␈α⊂ours␈α⊂will␈α⊂pro␈α␈vide␈α⊂for␈α⊂the␈α⊃Logicians␈α⊂of␈α⊂the␈α⊂Nineteen␈α␈th␈α⊂Cen␈α␈tury←␈ε/W␈α␈OULD␈ε"␈α⊃y␈α␈ou
␈β
\␈↓ ↓H␈ε"mind␈α
adopting␈αa␈αpun␈αthat␈αm␈α␈y␈αcousin␈α
the␈αMock-T␈α⎇urtle␈αwill␈αthen␈αmak␈α␈e,␈αand␈αallo␈α␈wing
␈βπ␈↓ ↓H␈ε"y␈α␈ourself␈αto␈αbe␈αrenamed␈ε/␈αT␈α⎇A␈α␈UGHT-US␈ε"?"
␈β2␈↓ α⊂␈ε"\As␈α	y␈α␈ou␈α
please,"␈α
replied␈α
the␈α
w␈α␈eary␈α
w␈α␈arrior,␈α
in␈α
the␈α	hollo␈α␈w␈α
tones␈α
of␈α
despair,␈α
as␈α
he
␈β↑␈↓ ↓H␈ε"buried␈α	his␈α
face␈α
in␈α
his␈α	hands.␈α⊂\Pro␈α␈vided␈α	that␈ε/␈α
YOU␈ε",␈α
for␈ε/␈α	YOUR␈ε"␈α
part,␈α
will␈α
adopt␈α
a␈α
pun
␈β	␈↓ ↓H␈ε"the␈αMock-T␈α⎇urtle␈αnev␈α␈er␈αmade,␈αand␈αallo␈α␈w␈αy␈α␈ourself␈αto␈αbe␈αre-named␈ε/␈αA␈αKILL-EASE␈ε"!"
␈β∂↑␈↓ εI␈ε"3
␈β⊃C/FONT#34=cmr10[XGP,SYS]=!"$'(),-.123:;?ABCDEFGHIKLMNOPQRSTUVWYZ\←`abcdefghijklmnopqrstuvwxy|⎇⎇/FONT#47=cms10[XGP,SYS]='-ABCDEFGHIKLMNOPQRSTUVWXYY/FONT#64=cmti10[XGP,SYS]=.ASTWabcdehilmnorstuvv